Abstract data type
Definition |
| An abstract data type (ADT) is characterized
| by the following properties: |
| n | 1. It exports a type. |
| n | 2. It exports a set of operations. This set is called |
| interface. |
| n | 3. Operations of the interface are the one and only |
| access mechanism to the type's data structure. |
| n | 4. Axioms and preconditions define the application |
| domain of the type. |